predicate calculus

This is not a dictionary! - Search for "predicate calculus" in The Danish Dictionary

• March 1. 2016 from wordnet.princeton.edu

  predicate calculus — noun — english

  a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions)